Computing correlated aggregates over a data stream

ABSTRACT

Described herein are approaches for computing correlated aggregates. An aspect provides for receiving a stream of data elements at a device, each data element having at least one numerical attribute; maintaining in memory plurality of tree structures comprising a plurality of separate nodes for summarizing numerical attributes of the data elements with respect to a predicate value of a correlated aggregation query, said maintaining comprising: creating the plurality of tree structures in which each node implements one of: a probabilistic counter and a sketch, wherein said probabilistic counter and said sketch each act to estimate aggregated data element numerical attributes to form a summary of said numerical attributes; and responsive to a correlated aggregation query specifying said predicate value, using said plurality of tree structures as a summary of said data element numerical attributes to compute a response to said correlated aggregate query.

STATEMENT OF GOVERNMENT INTEREST

This invention was made with government support under grant numbers CNS0834743 and CNS0831903, awarded by the National Science Foundation. The government has certain rights in the invention.

FIELD OF THE INVENTION

The subject matter presented herein generally relates to efficiently computing correlated aggregates over a data stream.

BACKGROUND

Processing a massive data set presented as a large data stream is challenging. The data set may be, for example, network traffic data or streaming data from external memory. A difficulty encountered is that the data set is too large to store in cache for analysis. Because of the size of the data set, processing requires fast update time, use of very limited storage, and possibly only a single pass over the data.

In computing statistics for certain types of data set analysis, a problem is the correlated aggregate query problem. Here, unlike in traditional data streams, there is a stream of two dimensional data items (i,y), where i is an item identifier, and y is a numerical attribute. A correlated aggregate query requires first applying a selection predicate along the y dimension, followed by an aggregation along the first dimension. An example of a correlated query is: “On a stream of IP packets, compute the k-th frequency moment of all the source IP address fields among packets whose length was more than 100 bytes”. Answering such a query may for example allow a network administrator to identify IP addresses using an excessive amount of network bandwidth.

BRIEF SUMMARY

One aspect provides a method for summarizing attributes of data elements of a data set for computing correlated aggregates, comprising: receiving a stream of data elements at a device, each data element having at least one numerical attribute; maintaining in memory a plurality of tree structures comprising a plurality of separate nodes for summarizing numerical attributes of the data elements with respect to a predicate value of a correlated aggregation query, said maintaining comprising: creating the plurality of tree structures in which each node implements one of: a probabilistic counter and a sketch, wherein said probabilistic counter and said sketch each act to estimate aggregated data element numerical attributes to form a summary of said numerical attributes; and responsive to a correlated aggregation query specifying said predicate value, using said plurality of tree structures as a summary of said data element numerical attributes to compute a response to said correlated aggregate query.

Another aspect provides a computer program product for summarizing attributes of data elements of a data set for computing correlated aggregates, comprising: a computer readable storage medium having computer readable program code embodied therewith, the computer readable program code comprising: computer readable program code configured to receive a stream of data elements at a device, each data element having at least one numerical attribute; computer readable program code configured to maintain in memory a plurality of tree structures comprising a plurality of separate nodes for summarizing numerical attributes of the data elements with respect to a predicate value of a correlated aggregation query, wherein to maintain further comprises: computer readable program code configured to create the plurality of tree structures in which each node implements one of: a probabilistic counter and a sketch, wherein said probabilistic counter and said sketch each act to estimate aggregated data element numerical attributes to form a summary of said numerical attributes; and computer readable program code configured to, responsive to a correlated aggregation query specifying said predicate value, use said plurality of tree structures as a summary of said data element numerical attributes to compute a response to said correlated aggregate query.

A further aspect provides a system for summarizing attributes of data elements of a data set for computing correlated aggregates, comprising: at least one processor; and a memory device operatively connected to the at least one processor; wherein, responsive to execution of program instructions accessible to the at least one processor, the at least one processor is configured to: receive a stream of data elements at a device, each data element having at least one numerical attribute; maintain in memory a plurality of tree structures comprising a plurality of separate nodes for summarizing numerical attributes of the data elements with respect to a predicate value of a correlated aggregation query, wherein to maintain further comprises: create the plurality of tree structures in which each node implements one of: a probabilistic counter and a sketch, wherein said probabilistic counter and said sketch each act to estimate aggregated data element numerical attributes to form a summary of said numerical attributes; and responsive to a correlated aggregation query specifying said predicate value, use said plurality of tree structures as a summary of said data element numerical attributes to compute a response to said correlated aggregate query.

The foregoing is a summary and thus may contain simplifications, generalizations, and omissions of detail; consequently, those skilled in the art will appreciate that the summary is illustrative only and is not intended to be in any way limiting.

For a better understanding of the embodiments, together with other and further features and advantages thereof, reference is made to the following description, taken in conjunction with the accompanying drawings. The scope of the invention will be pointed out in the appended claims.

BRIEF DESCRIPTION OF THE SEVERAL VIEWS OF THE DRAWINGS

FIG. 1 illustrates an example operating environment for correlated aggregation queries.

FIGS. 2-4 illustrate an example of processing to provide an estimate for a COUNT correlated aggregation.

FIGS. 5-7 illustrate an example of processing to provide an estimate for general correlated aggregations.

FIG. 8 illustrates examples of sketch space v. relative error for example data sets.

FIG. 9 illustrates examples of sketch space v. stream size for example data sets.

FIG. 10 illustrates examples of sketch space v. stream size for example data sets.

FIG. 11 illustrates examples of sketch space v. stream size for example data sets.

FIG. 12 illustrates examples of sketch space v. relative error for example data sets.

FIG. 13 illustrates examples of sketch space v. stream size for example data sets.

FIG. 14 illustrates an example computer system.

DETAILED DESCRIPTION

It will be readily understood that the components of the embodiments, as generally described and illustrated in the figures herein, may be arranged and designed in a wide variety of different configurations in addition to the described example embodiments. Thus, the following more detailed description of the example embodiments, as represented in the figures, is not intended to limit the scope of the claims, but is merely representative of those embodiments.

Reference throughout this specification to “embodiment(s)” (or the like) means that a particular feature, structure, or characteristic described in connection with the embodiment is included in at least one embodiment. Thus, appearances of the phrases “according to embodiments” or “an embodiment” (or the like) in various places throughout this specification are not necessarily all referring to the same embodiment.

Furthermore, the described features, structures, or characteristics may be combined in any suitable manner in different embodiments. In the following description, numerous specific details are provided to give a thorough understanding of example embodiments. One skilled in the relevant art will recognize, however, that aspects can be practiced without certain specific details, or with other methods, components, materials, et cetera. In other instances, well-known structures, materials, or operations are not shown or described in detail to avoid obfuscation.

On a stream of two dimensional data items (i,y) where i is an item identifier, and y is a numerical attribute, a correlated aggregate query requires applying a selection predicate first along the second dimension, y, followed by an aggregation along the first dimension. For selection predicates of the form (y<c) or (y>c), where parameter c is provided at query time, embodiments provide streaming processing and lower bounds for estimating statistics of the resulting substream of elements that satisfy the predicate.

For example, an embodiment can answer the following query: “On a stream of IP packets, compute the k-th frequency moment F_(k) (k=0,1,2 or greater) of all the source IP address fields among packets whose length was more than 100 bytes”. A process according to an embodiment for F₁ (basic count) improves previous approaches by roughly a logarithmic factor and is near-optimal. An approach provided according to embodiments for k≠1 provides the first sublinear space algorithms in this model for these problems. Embodiments also estimate heavy hitters, rarity, and similarity in this model. The memory requirements are significantly smaller than existing linear storage schemes for large data sets, and embodiments simultaneously achieve fast per-record processing time.

The description now turns to the figures. The illustrated example embodiments will be best understood by reference to the figures. The following description is intended only by way of example and simply illustrates certain example embodiments representative of the invention, as claimed.

Referring to FIG. 1, consider a data stream (data set/stream are used interchangeably herein) of tuples S=(x_(i),y_(i)) i=1 . . . n, where x_(i) is an item identifier, and y_(i) a numerical attribute. A correlated aggregate query C(σ, AGG,S) specifies two functions, a selection predicate σ along the y dimension. It requires that the selection be applied first on stream S, followed by the aggregation. More formally,

C(σ,AGG,S)=AG{x _(i)|σ(y _(i))is true}

Importantly, the selection predicate σ need only be completely specified at query time, and may not be known when the stream is being observed. For example, on a stream of IP packets, with x denoting the source IP address, and y denoting the number of bytes in the packet, on an observed packet stream, a network administrator may ask the query: “What is the second frequency moment (F₂) of all IP addresses for those packets that are less than 1000 bytes”? The selection predicate σ=(y<1000) is completely specified only at query time, giving the network administrator flexibility to perform further queries based on the result of previous queries. For example, if the answer for the above query was “interesting” (however defined), the network administrator may then refine the next query further by asking for the same aggregate, but giving a different selection predicate, for example σ=(y<500). Note that with this framework, the network administrator could form the query: “What is the F₂ of all IP addresses for those packets whose packet size is smaller than the mean packet size of the stream”, by first determining the mean packet size, say μ, using an aggregated query with section predicate y<μ.

A traditional data stream summary provides an accurate answer to an aggregate query, such as frequency moments, quantiles, and heavy-hitters, over the entire data stream. In contrast, a summary for correlated aggregate provides accurate answers to a family of queries that can be posed on the stream, where different queries in the family specify the same aggregation function, but over different subsets of the input stream. These subsets are selected by the predicate along the primary dimension. Correlated aggregates arise naturally in analytics on multi-dimensional streaming data, and space-efficient methods for implementing such aggregates are useful in streaming analytics systems such as in IBM SYSTEM S.

The summaries for correlated aggregates provided by embodiments allow for more flexible interrogation of the data stream than is possible with a traditional stream summary. For example, consider a data stream of IP flow records, such as those output by network routers equipped with CISCO netflow. Suppose that one is interested in only two attributes per flow record, the destination address of the flow, and the size (number of bytes) of the flow. Using a summary for correlated aggregate AGG, along with a quantile summary for the y dimension (any well known stream quantile summaries may be used), it is possible for a network administrator to execute the following sequence queries on the stream:

(1) First, the quantile summary can be queried to find the median size of the flow. (2) Next, using the summary for correlated aggregates, the network administrator can query the aggregate AGG of all those flow records whose flow size was more than the median flow size. (3) If the answer to query (2) was abnormal in the network administrator's opinion, and the network administrator needed to find properties of the very high volume flows, this may be accomplished by querying for the aggregate of all those flow records whose flow size is in, for example, the 95 percent quantile or above (the 95 percent quantile may be found using the quantile summary).

Thus, a summary that allows for such queries can be used for deeper investigation of larger data streams. Important to this is the flexibility that the parameter for the selection predicate can be specified at query time, which allows the user to iteratively adapt his or her query based on the results of previous queries. For data-intensive analytics systems, such as network management systems and sensor data management, this can be a very powerful tool.

In this description, both processing and lower bounds for summarizing data streams for correlated aggregate queries are provided. Embodiments consider selection predicates of the form (y≦y₀) or (y≧y₀), where y₀ is specified at query time.

Estimation of Basic Count (F₁)

For estimating the basic count, the x values of the stream elements (x,y) do not matter, hence only considered is the stream Y=y₁,y₂, . . . , y_(n). The y_(i)'s may not be distinct, and do not necessarily arrive in increasing order. The problem is to design a summary that can answer the following query: given a parameter y provided at query time, how many y_(i)'s are less than or equal to y? In other words, estimate COUNT(y)=|{y_(i)εY|y_(i)<y}|. Given user parameters ε,0<ε<1 and δ,0<δ<1, an embodiment seeks an answer that is within an ε relative error of the exact answer with probability at least 1−δ.

The starting point for a solution is the “splittable histogram” data structure of prior work. This data structure stores histograms at multiple levels, i=0,1,2, . . . , such that the error due to using a data structure at level i is proportional to 2^(i), but as i increases, the set of possible queries that can be answered by the data structure at level i also become larger. The rough intuition here is that if a data structure is used at a large level (a large value of i), though the error is large (proportional to 2^(i)), the answer must also be large, hence the relative error is controlled.

It is noted that that the data structures in prior work use many counters that may need to hold very large values. Observe that these counts need not be exact, and hence an embodiment uses probabilistic counters, which provide approximate counts of large numbers using significantly smaller space than exact counters. The error in the counters and the error in the data structures combine to give the total error in the estimate.

There is a technical difficulty in getting the above idea to work, which is that the states of the counters are used to trigger certain actions of the data structures, such as the formation of new nodes in the data structure. Replacing these counters with probabilistic counters leads to dealing with random variables and events that are not all independent of each other, and this dependency has to be handled carefully. Presented herein are further details of the process for doing this and the analysis.

Probabilistic Counters

A probabilistic counter is a data structure for approximate counting that supports two operations: increment and query. For positive integer M and γ>0, let PC(M,γ) denote a probabilistic counter with base (1+γ), that counts until a maximum estimated value of M. Let C_(n) denote the state of the counter after n increment operations. Using C_(n), it is possible to return an estimate {circumflex over (n)} of n. If {circumflex over (n)}≧M, the counter cannot be incremented any further, and the counter is said to be “closed”. If {circumflex over (n)}<M, then the bucket is said to be “open”.

Theorem 1: Let {circumflex over (n)} denote the estimated count returned by the counter PC(M,γ) after n increments. Then

${{E\left\lbrack \hat{n} \right\rbrack} = n},{{{and}\mspace{14mu} {{VAR}\left\lbrack \hat{n} \right\rbrack}} = {\frac{\gamma \; {n\left( {n + 1} \right)}}{2}.}}$

The counter can be stored in space no more than

$\left( {{\log \mspace{14mu} \log \mspace{14mu} M} + {\log \frac{1}{\gamma}}} \right)$

bits.

The above theorem concerns the estimates returned by the probabilistic counter. The number of increments needed for the counter to reach its maximum value need to be analyzed, so a slightly different type of guarantee is required.

Lemma 1: For C=PC(M,γ), let I(C) denote the number of insertions into C that causes it to be closed. Then E[I(C)]=M+1, and

${{VAR}\left\lbrack {\mathcal{I}(C)} \right\rbrack} = {\frac{\gamma \; {M\left( {M + 1} \right)}}{2}.}$

The proof of this lemma is in the appendix.

Data Structure

The data structure consists of histograms S₀,S₁, . . . , S_(l) _(max) , where l_(max)=log(2εU), where U is an upper bound on the value of COUNT(y) for any value of y. Each histogram S_(i) consists of no more than

$\alpha = \frac{4\left( {{\log \; y_{\max}} + 1} \right)}{\varepsilon}$

buckets.

Each bucket bε S_(i) is a probabilistic counter

${{PC}\left( {{2^{i} + 1},\frac{\varepsilon^{2}\delta}{\alpha}} \right)}.$

The buckets form a rooted binary tree, where each internal node has exactly two children. The tree in S_(i) is stored within an array by keeping the nodes of the tree in in-order traversal of the tree. This is unambiguous, by storing within each bucket an additional bit that says whether the bucket is a leaf in the tree, or an internal node.

Every bucket is responsible for a range of y values, which is represented implicitly by the position of the bucket in the tree. The “span” of a bucket b is the range of timestamps that the bucket b is responsible for. The span of the root of the tree is [0,y_(max)]. If the span of node v is [y₁,y₂], then the span of its left child is [y₁,(y₁+y₂−1)/2], and the span of its right child is [(y₁+y₂+1)/2,y₂]. In a given level l, the span of all buckets at the same depth in the tree are disjoint, but the span of buckets at different depth may overlap with each other. If they do overlap, then the span of one of the buckets must be a proper subset of the span of the other (overlapping) bucket. Each bucket has a probabilistic counter associated with it.

For bucket b, let span(b) denote the span of the bucket. Let le ft(b) denote the leftmost endpoint of span(b), and right(b) denote the rightmost endpoint of span(b). Let PC(b) to denote the counter associated with the bucket. The process for COUNT is illustrated in FIGS. 2-4.

Lemma 2: The space complexity of the data structure for F₁ is

$O\left( {\frac{1}{\varepsilon}\left( {\log \; \varepsilon \; U} \right)\left( {\log \; y_{\max}} \right)\left( {{\log \; \log \; U} + {\log \frac{1}{\varepsilon}} + {\log \frac{1}{\delta}}} \right)} \right)$

bits, where U is an upper bound on the value of COUNT(y). If log(y_(max))=Θ(log(U)), then for constant ε and δ, the space complexity is O(log²U log log U).

Proof: The space complexity is the space taken to store O(l_(max)α) buckets. Each bucket b consists of a probabilistic counter PC(M,ε²δ/α), where the value of M is no more than U. The space complexity of the data structure follows from Theorem 1.

Definition 1: For l=0 . . . l_(max), level l is defined to be incomplete for query y if T_(l)<y. If T_(l)≧y, then level l is said to be complete for query y.

For bucket b, let A(b) denote the number of stream items that were inserted into this bucket. Let EST (b) denote the current estimate of the number of items that were inserted into the bucket. This notation is extended to sets of buckets too. For any set of buckets B, all in the same level, let

${{A(B)} = {\sum\limits_{b \in B}{A(b)}}},$

and let

${{\mathcal{E}}(B)} = {\sum\limits_{b \in B}{{{\mathcal{E}}(b)}.}}$

Lemma 3 Let I_(l) be any set of internal nodes in S_(l). Then EST (I_(l))=2^(l)|I_(l)|,E[A(I_(l))]=2^(l)|I_(l)|, and

${\Pr \left\lbrack {{{{A\left( I_{l} \right)} - {{EST}\left( I_{l} \right)}}} > {\varepsilon \; {{EST}\left( I_{l} \right)}}} \right\rbrack} < {\frac{\delta}{2{I_{l}}}.}$

Proof: For any bεI_(l), there is EST(b)=l2^(l) . Since

${{{EST}\left( I_{l} \right)} = {\sum\limits_{b \in I_{l}}{{EST}(b)}}},$

it follows that EST(I_(l))=2^(l)|I_(l)|. Further, A(b)=I(PC(2^(l)−1,γ)). From Lemma 1, there is E[A(b)]=2^(l), and

${{VAR}\left\lbrack {A(b)} \right\rbrack} = {\frac{{\gamma 2}^{l}\left( {2^{l} - 1} \right)}{2}.}$

${A\left( I_{l} \right)} = {\sum\limits_{b \in I_{l}}{A(b)}}$

Using linearity of expectation yields:

${E\left\lbrack {A\left( I_{l} \right)} \right\rbrack} = {{\sum\limits_{b \in I_{l}}{E\left\lbrack {A(b)} \right\rbrack}} = {2^{l}{I_{l}}}}$

For each bucket bεI_(l),

${\Pr \left\lbrack {{{{A(b)} - 2^{l}}} > {\varepsilon 2}^{l}} \right\rbrack} \leq \frac{{VAR}\left\lbrack {A(b)} \right\rbrack}{\varepsilon^{2}2^{2l}} \leq \frac{\gamma}{2\varepsilon^{2}}$

Using a union bound over all the buckets, and using

${\gamma = \frac{\varepsilon^{2}\delta}{\alpha}},$

the desired result is obtained.

Lemma 4: Let L be any set of leaves in S_(l), Then E[EST (L)]=A(L), and

Pr[|EST(L)−A(L)|>εA(L)]<δ

Proof: For any bεL, there is E[EST(b)]=A(B), from Theorem 1. Using Linearity of Expectation,

$\begin{matrix} {{E\left\lbrack {{EST}(L)} \right\rbrack} = {E\left\lbrack {\sum\limits_{b \in L}{{EST}(b)}} \right\rbrack}} \\ {= {\sum\limits_{b \in L}{E\left\lbrack {{EST}(b)} \right\rbrack}}} \\ {= {{\sum\limits_{b \in L}{A(b)}} = {A(L)}}} \end{matrix}$

For the leaves, after the actual counts A(b)'s have been assigned, the random variables EST(b)'s are all independent. Hence:

$\begin{matrix} {{{VAR}\left\lbrack {{EST}(L)} \right\rbrack} = {\sum\limits_{b \in L}{{VAR}\left\lbrack {{EST}(b)} \right\rbrack}}} \\ {= {\sum\limits_{b \in L}\frac{\gamma \; {A(b)}\left( {{A(b)} + 1} \right)}{2}}} \\ {= {\frac{\gamma}{2}\left( {{A(L)} + {\sum\limits_{b \in L}{A^{2}(b)}}} \right)}} \\ {\leq {\frac{\gamma}{2}\left( {{A(L)} + {A^{2}(L)}} \right)} \leq {\gamma \; {A^{2}(L)}}} \end{matrix}$

Applying Chebyshev's inequality:

${\Pr \left\lbrack {{{{{EST}(L)} - {A(L)}}} > {\varepsilon \; {A(L)}}} \right\rbrack} \leq \frac{{VAR}\left\lbrack {{EST}(L)} \right\rbrack}{\varepsilon^{2}{A^{2}(L)}} \leq \frac{\gamma}{\varepsilon^{2}} < \delta$

Lemma 5: If level l is incomplete for query y, then with probability at least

${1 - \frac{\delta}{\alpha - 1}},$

COUNT(y)(≧(1−ε)2^(l−1)(α−1).

Proof: Since T_(l)≦y, for each bucket bεS_(l), it must be true that right(b)<y. Thus each item that was inserted into bucket b in S_(l) must be contained in query y. Let S_(l) ¹ denote the internal nodes in S_(l).

COUNT(y)≧A(S_(l))≧A(S_(l) ¹)

Using Lemma 3, the following is true with probability at least

$1 - {\frac{\delta}{2{S_{l}^{1}}}.}$

A(S _(l) ¹)≧(1−ε)E[EST(S_(l) ¹)]=(1−ε)2^(l) |S _(l) ¹|

Since S_(l) is a binary tree with α nodes, there are (α−1)/2 nodes in S_(l) ¹. Thus,

${\Pr \left\lbrack {{{COUNT}(y)} > {\left( {1 - \varepsilon} \right)\left( {\alpha - 1} \right)2^{l - 1}}} \right\rbrack} > {1 - \frac{\delta}{\alpha - 1}}$

Lemma 6: The estimate returned for COUNT(y) by process 3 has a relative error of less than 7ε with probability at least 1−4δ.

Proof: Suppose the process uses level l for its estimate. Let B₁ ⊂S denote the set of all nodes bεS_(l) such that the span of b is a subset of [0,y]. The estimator uses the sum of the estimated counts of all nodes in B₁. Let B₁ ^(I) ⊂B₁ denote the internal nodes in B₁, and B₁ ^(L) ⊂B₁ denote the leaves in B₁. Let COÛNT(y) denote the estimate returned by the process. Let B₂ ⊂S_(l) denote the set of all buckets bεS_(l) such that the span of b intersects [0,y], but is not a subset of [0,y].

COU{circumflex over (N)}T(y)=EST(B ₁)=EST(B ₁ ^(I))+EST (B ₁ ^(L))

A(B₁)≦COUNT(y)≦A(B₁)+A(B₂)  (1)

The following events are defined:

E₁ is A(B₂)≦(1+ε)(logy_(max))2^(l)

E₂ is COUNT(y)≧(1−ε)2^(l−1)(α−1)

E₃ is EST(B₁ ^(I))≧(1−ε)A(B₁ ^(I))

E₄ is EST(B₁ ^(L))≧(1−ε)A(B₁ ^(L))

First consider E₁. Bounding A(B₂), each bucket in B₂ must span y. There can be no more than log y_(max) buckets in S_(l) that can span y, and each such bucket, except for the smallest bucket, must be an internal node of S_(l). Let f₂ denote the leaf bucket in B₂, if it exists (note that f₂ may not exist). Let B′₂ denote the internal buckets in B₂. If f₂ does not exist, then A(f₂) is defined to be 0.

A(B ₂)=A(f ₂)+A(B′ ₂)

From Lemma 3, E[A(B′₂)]=2^(l)|B′₂|, and

$\begin{matrix} {{\Pr \left\lbrack {{A\left( B_{2}^{\prime} \right)} > {\left( {1 + \varepsilon} \right)2^{l}{B_{2}^{\prime}}}} \right\rbrack} < \frac{\delta}{2{B_{2}^{\prime}}}} & (2) \end{matrix}$

Next, it is shown that A(f₂) is small, with high probability. If f₂ does not exist, then A(f₂)=0, so it can be assumed that f₂ exists. In such a case, f₂ cannot be a singleton bucket, since then its span would have been completely contained within [0,y]. Consider I(f₂), which is the number of stream items that need to be inserted into f₂ to close the counter. From Lemma 3: Pr[|Y(f₂)−2^(l)|>ε2^(l)]≦δ. Thus, with probability at least (1−δ), it must be true that Y(f₂)<(1+ε)2^(l). Consequently:

Pr[A(f₂)>(1+ε)2^(l)]≦δ  (3)

Let E₅ denote the event A(B_(2′))≦(1+ε)2^(l)|B′₂| and E₆ denote the event A(f₂)>(1+ε)2^(l). From Equations 2 and 3:

${\Pr \left\lbrack {\mathcal{E}_{5}\bigwedge\mathcal{E}_{6}} \right\rbrack} \geq {1 - {\Pr \left\lbrack \overset{\_}{\mathcal{E}_{5}} \right\rbrack} - {\Pr \left\lbrack \overset{\_}{\mathcal{E}_{6}} \right\rbrack}} \geq {1 - \delta - \frac{\delta}{2{B_{2}^{\prime}}}} \geq {1 - {1.5\delta}}$

Since |B′₂|<logy_(max), Pr[A(B₂)>(1+ε)(logy_(max))2^(l)]<1.5δ. Thus:

Pr[E₁]>1−1.5δ  (4)

From Lemma 5:

$\begin{matrix} {{\Pr \left\lbrack \mathcal{E}_{2} \right\rbrack} \geq {1 - \frac{\delta}{\alpha - 1}}} & (5) \end{matrix}$

Since B₁ ^(I) is a set of internal nodes in S_(l), from Lemma 3,

${\Pr \left\lbrack \mathcal{E}_{3} \right\rbrack} = {\Pr\left\lbrack {{{\mathcal{E}}\left( B_{1}^{I} \right)} \geq {\left( {1 - \varepsilon} \right){A\left( B_{1}^{I} \right)}} \geq \frac{A\left( B_{1}^{I} \right)}{1 + \varepsilon} \geq {1 - {\frac{\delta}{2}.}}} \right.}$

Thus:

$\begin{matrix} {{\Pr \left\lbrack \mathcal{E}_{3} \right\rbrack} \geq {1 - \frac{\delta}{2}}} & (6) \end{matrix}$

From Lemma 4,

Pr[E₄]>1−δ  (7)

Suppose that ε₁, ε₂, ε₃, ε₄ were true. From Equations 4-7, this is true with probability at least

${1 - \delta - {0.5\delta} - {1.5\delta} - \frac{\delta}{\alpha - 1}} \geq {1 - {4{\delta.}}}$

$\begin{matrix} \begin{matrix} {{{COU}\hat{N}\; {T(y)}} = {{{EST}\left( B_{1}^{I} \right)} + {{EST}\left( B_{1}^{L} \right)}}} \\ {\geq {{\left( {1 - \varepsilon} \right){A\left( B_{1}^{I} \right)}} + {\left( {1 - \varepsilon} \right){A\left( B_{1}^{L} \right)}(9)}}} \\ {\geq {\left( {1 - \varepsilon} \right){A\left( B_{1} \right)}(10)}} \end{matrix} & (8) \end{matrix}$

COUNT(y) ≤ A(B₁) + A(B₂) ≤ A(B₁) + (1 + ε)(log  y_(max))2^(),

since ε₁ is true. This is at most

${{A\left( B_{1} \right)} + {{{COUNT}(y)}\frac{\left( {1 + \varepsilon} \right)2^{l}\log \; y_{\max}}{\left( {1 - \varepsilon} \right)2^{l - 1}\left( {\alpha - 1} \right)}}},$

since ε₂ is true. This equals

${{A\left( B_{1} \right)} + {\frac{\varepsilon \left( {1 + \varepsilon} \right)}{2\left( {1 - \varepsilon} \right)}{{COUNT}(y)}}},$

using

$\alpha = {\frac{4}{\varepsilon}{\left( {{\log \; y_{\,\max}} + 1} \right).}}$

If ε≦1/2, then

${\frac{1}{1 - \varepsilon} \leq \left( {1 + {2\varepsilon}} \right)},$

and thus

$\frac{1 + \varepsilon}{1 - \varepsilon} \leq {\left( {1 + {2\varepsilon}} \right)\left( {1 + \varepsilon} \right)} \leq \left( {1 + {4\varepsilon}} \right)$ $\begin{matrix} {{{COUNT}(y)} \leq {{A\left( B_{1} \right)} + {\frac{\left( {\varepsilon + {4\varepsilon^{2}}} \right)}{2}{{COUNT}(y)}}}} \\ {\leq {{A\left( B_{1} \right)} + {\frac{3\varepsilon}{2}{{COUNT}(y)}}}} \end{matrix}$

where ε≦1/2 was used.

$\begin{matrix} {{{COUNT}(y)} \leq \frac{A\left( B_{1} \right)}{1 - {1.5\varepsilon}} \leq {\left( {1 + {6\varepsilon}} \right){A\left( B_{1} \right)}}} & (11) \end{matrix}$

From Equations 11 and 8:

$\begin{matrix} {{{COU}\hat{N}{T(y)}} \geq {\frac{1 - \varepsilon}{1 + {6\varepsilon}}{{COUNT}(y)}}} \\ {\geq {\left( {1 - \varepsilon} \right)\left( {1 - {6\varepsilon}} \right){{COUNT}(y)}}} \\ {\geq {\left( {1 - {7\varepsilon}} \right){{COUNT}(y)}}} \end{matrix}$

This proves that the estimate is within a 7ε relative error of COUNT. The other direction is proved similarly, by noting the following:

$\begin{matrix} {{{COU}\hat{N}{T(y)}} = {{{EST}\left( B_{1}^{I} \right)} + {{EST}\left( B_{1}^{L} \right)}}} \\ {\leq {\frac{B_{1}^{I}}{1 - \varepsilon} + {\left( {1 + \varepsilon} \right)B_{1}^{L}}}} \\ {\leq {{\left( {1 + {2\varepsilon}} \right)B_{1}^{I}} + {\left( {1 + \varepsilon} \right)B_{1}^{L}\mspace{14mu} {Using}\mspace{14mu} \varepsilon}} \leq {1\text{/}2}} \\ {\leq {\left( {1 + {2\varepsilon}} \right)B_{1}}} \\ {\leq {\left( {1 + {2\varepsilon}} \right){{COUNT}(y)}\mspace{14mu} {Using}\mspace{14mu} {Equation}\mspace{14mu} 1}} \end{matrix}$

Thus, with probability at least 1−4δ, the estimated count is within a 7ε relative error of the actual.

Theorem 2: processes 1-3 yield an (ε,δ)-approximation for the correlated basic count, using space (in bits)

$O\left( {\frac{1}{\varepsilon}\left( {\log^{2}U} \right){\left( {{\log \; \log \; U} + {\log \left( {1\text{/}\varepsilon} \right)} + {\log \left( {1\text{/}\delta} \right)}} \right).}} \right.$

The space complexity is within a factor of O(log logU+log(1/ε)+log(1/δ))) of the optimal. The amortized processing time per record can be made O(logn). In the above expression, it is assumed that log(y_(max))=O(logU).

Proof: The space complexity and correctness follow from Lemma 2 and Lemma 6, respectively. In prior work, it was shown that any data structure for basic counting for a (synchronous) sliding window with an ε relative error needs

$\Omega\left( \frac{\log^{2}U}{\varepsilon} \right)$

bits of space. Since basic counting over a synchronous sliding window is a special case of correlated basic count estimation, the space lower bound of

$\Omega\left( \frac{\log^{2}U}{\varepsilon} \right)$

holds here too. Hence, the achieved space bound is within a factor of O(log logU+log(1/ε)+log(1/δ))) of the optimal. To achieve O(logn) amortized processing time, observe that there are O(logn) data structures S₀, S₁, . . . , S_(l) _(max) , each containing O(ε⁻¹logn) buckets, each containing a probabilistic counter. These probabilistic counters are packed into words of size Θ(logn), that is, the standard RAM model. Processing a batch of O(ε⁻¹logn) counts together as follows. First, the batch is sorted in order of non-decreasing y-coordinate. This can be done in O(ε⁻¹logn(log1/ε+log log n)) time. Then the following for each S_(i) is done, sequentially, so as to keep within the space bound. For data structure S_(i), unpack it, putting each probabilistic counter into a word. This can be done in O(ε⁻¹log²n) bits of space and O(ε⁻¹logn) time. Further, the data structure is unpacked and represented as a list in a pre-order traversal of the tree that S_(i) represents. Then, an embodiment walks through the list and updates the appropriate buckets. Since the updates are sorted in increasing y-value and the list is represented as a pre-order traversal, this can be done in O(ε⁻¹logn) time. Hence, as an embodiment ranges over all S_(i), the total processing time is O(ε⁻¹logn(log1/ε+log log n+log n))=O(ε⁻¹log²n), or equivalently, the amortized update time is O(logn).

General Scheme for Correlated Aggregation

A general scheme for constructing a summary for correlated aggregation for any aggregation function that satisfies a certain set of properties is described. For any such aggregation function, it is described how to reduce the construction of a sketch for correlated aggregation to the construction of a sketch for aggregation over the entire stream. This reduction allows the use of previously known stream summaries for aggregation over streams in constructing summaries for correlated aggregation.

An embodiment employs this scheme to construct small space summaries for estimating correlated frequency moments over a data stream. For k>0, the k-th frequency moment of a stream of identifiers, each assumed to be an integer from {1, . . . , m}, is defined as F_(k)=Σ_(i=1) ^(m)f_(i) ^(k), where f_(i) is the number of occurrences of the i-th item. The estimation of the frequency moments over a data stream has been the subject of much study; however, embodiments provide processing for estimating the correlated frequency moments with provable guarantees on the relative error. The memory requirements are optimal up to small factors, namely factors that are logarithmic in m and the error probability δ, and factors that are polynomial in the relative error parameter ε.

The technique for general correlated aggregation described herein builds on prior work for the correlated estimation of the basic count. While the basic data structure used in prior work is an exact counter, embodiments rather employ a “sketch”, which can accurately estimate an aggregate on a stream, and provide a (possibly) probabilistic guarantee on the correctness. The error due to the randomized sketches employed by embodiments is analyzed, as well as the combination of different sketches. A central new issue is that of dependency between random variables.

Also presented in detail are approaches for the first space-efficient processing for correlated aggregates of the number of distinct elements (F₀), and other aggregates related to frequency moments, such as the F_(k)-heavy hitters and rarity. A technique for achieving lower amortized update time is provided. For correlated F₂, the update time is Õ(log n) per stream update.

General Streaming Models and Lower Bounds

The case of streams where items can have an associated positive or negative integer weight is described. Allowing negative weights is useful for analyzing the symmetric difference of two data sets, since the items in the first data set can be inserted into the stream with positive weights, while the items from the second data set can be inserted into the stream with negative weights.

In this model, each stream element is a 3-tuple (x_(i),y_(i),z_(i)), where z_(i) specifies the weight of the item. It is shown that even if z_(i)ε{−1,1} for all i, then for a general class of functions that includes the frequency moments, any summary that can estimate correlated aggregates accurately and that is constructed in a single pass must use memory that is linear in the size of the stream. This is to be contrasted with the estimation of frequency moments over a stream in the non correlated case, where it is known how to estimate these aggregates in sublinear space even in the presence of positive and negative weights.

Also described is a model with arbitrary positive and negative weights in which multiple passes over the stream are allowed. This more general model allows the processing to make a small (but more than one) number of passes over the stream and store a small summary of what is seen. At a later time a query is made and must be answered using only the summary. Such a setting arises if data is collected and stored from previous days for the purpose of creating a summary, but is then deleted or archived while only the summary is retained.

In this case, a smooth pass-space tradeoff is obtained for these problems, in that with a logarithmic number of passes there are space-efficient algorithms for a large class of correlated aggregates even with negative weights, but with fewer passes no such space-efficient algorithms can exist.

Aggregation over Asynchronous Streams

A closely related problem is that of computing aggregates over a sliding window on an asynchronous stream. In this scenario, a stream of (v₁,t₁) tuples, where v is a data item, and t is the timestamp at which it was generated. Due to asynchrony in the transmission medium, it is possible that the stream elements do not arrive in the order of the timestamps. In other words, it is possible that t₁<t₂, but that (v₁,t₁) is received later than (v₂,t₂). This was not possible in the traditional definition of count-based or time-based sliding windows. There is a straightforward reduction from the problem of aggregating over asynchronous streams to that of computing correlated aggregates, and vice versa, from previous work. Hence, all of the results for correlated aggregates described herein apply also to aggregation over a sliding window on an asynchronous stream with essentially the same space and time bounds. Thus, embodiments achieve the first low-space solutions for asynchronous streams for a wide class of statistics.

Correlated Estimation of a Class of Statistics

Embodiments provide for the estimation of correlated aggregates for any aggregation function that satisfies a set of properties. Consider an aggregation function f that takes as input a multi-set of real numbers R and returns a real number f (R). In the following, the term “set of real numbers” is used to mean a “multi-set of real numbers”. Also, union of sets implies a multi-set union, when the context is clear.

For any set of tuples of real numbers T={(x_(i),y_(i))|1≦i≦n} and real number y, let f(T,c) denote the correlated aggregate f({(x_(i)|((x_(i),y_(i))εT)

(y_(i)≦c)}). For any function f satisfying the following properties, it is shown herein how a reduction from the problem of space-efficient estimation of correlated aggregate f(T,c) to the problem of space-efficient estimation of f in an uncorrelated manner on the entire set R.

The following definition of an (ε,δ) estimator is used herein. Definition 2: Given parameters ε,δ, where 0<ε<1, and 0<δ<1, an (ε,δ) estimator for a number Y is a random variable X such that with probability at least 1−δ, the following is true:

(1−ε)Y≦X≦(1+ε)Y.

In the following description, the term “sketching function” denotes a compression of the input set with certain properties. More precisely, f has a sketching function sk_(f)(v,γ,R) if:

Using sk_(f)(v,γ,R) it is possible to get an (v,γ)-estimator of f(R); and

For two sets R₁ and R₂, given sk(v,γ,R) and sk(v,γ,R₂), it is possible to compute sk(v,γ,R₁∪R₂).

Many functions f have sketching functions. For instance, the second frequency moment F₂ and the k-th frequency moment F_(F) have sketches due to prior work. In these two examples, the sketching function is obtained by taking random linear combinations of the input.

Embodiments require the following conditions from f in order to construct a sketch for estimating correlated aggregates. These conditions intuitively correspond to “smoothness” conditions of the function f, bounding how much f can change when new elements are inserted or deleted from the input multi-set. Informally, the less the function value is sensitive to small changes, the easier it is to apply to estimating correlated aggregates.

I. f(R) is bounded by a polynomial in |R|

II. For sets R₁ and R₂, f(R₁∪R₂)≧f(R₁)+f(R₂)

III. There exists a function c₁ ^(f)(·) such that for sets R₁, . . . R_(j), if f (R_(i))≦α for all i=1 . . . j, then: f(∪_(i=1) ^(j)R_(i))≦c₁ ^(f)(j)·α

IV. For ε<1, there exists a function c₂ ^(f)(ε) with the following properties.

For two sets A and B such that B⊂A, if f(B)≦c₂ ^(f)(ε)·f(A), then f(A-B)≧(1−ε)f(A)

V. f has a sketching function sk_(f)(γ,v,R) where γε (0,1) and vε (0,1).

For any function f with a sketch sk_(f) with the above properties, it is shown herein how to construct a sketch sk_(f) ^(cor)(ε,δ,T) for estimating the correlated aggregate f (T,c) with the following properties:

A. Using sk_(f) ^(cor) (ε,δ,T), it is possible to get an (ε,δ)-estimator of f (T,c) for any real c>0

B. For any tuple (x,y), using sk_(f) ^(cor) (γ,ε,T), it is possible to construct sk_(f) ^(cor) (γ,ε,T∪{(x,y)}).

Processing Description

Referring to FIG. 5, let f_(max) denote an upper bound on the value of f (•,•) over all input streams considered. The process (FIGS. 5-7) uses a set of levels l=0,1,2, . . . , l_(max), where l_(max) is such that 2^(l) ^(max) >f_(max) for any input stream T and real number c. From Property I, it follows that l_(max) is logarithmic in the stream size.

Parameters α,γ,v are chosen as follows:

${\alpha = \frac{64{c_{1}^{f}\left( {\log \mspace{11mu} y_{\max}} \right)}}{c_{2}^{f}\left( {\varepsilon \text{/}2} \right)}},{v = \frac{\varepsilon}{2}},{\gamma = \frac{\delta}{4\; {y_{\max}\left( {l + 1} \right)}}},$

where y_(max) is the largest possible y value.

Without loss of generality, assume that y_(max) is of the form 2^(γ)1−1 for some integer γ. The dyadic intervals within [0,y_(max)] are defined inductively as follows:

(1)[0,y_(max)] is a dyadic interval;

(2) If [a,b] is a dyadic interval and a≠b, then [a,(a+b−1)/2] and [(a+b+1)/2,b] are also dyadic intervals.

Within each level l, from 0 to l_(max), there is a “bucket” for each dyadic interval within [0,y_(max)]. Thus, there are 2y_(max)−1 buckets in a single level. Each bucket b is a triple (k(b),l(b),r(b)), where [l(b),r(b)] is a dyadic interval that corresponds to a range of y values that this bucket is responsible for, and k(b) is defined below.

When a stream element (x, y) arrives, it is inserted into each level l=0, . . . , l_(max). Within level l, it is inserted into exactly one bucket, as described in Process 5. For a bucket b in level l, let S(b) denote the (multi-)set of stream items that were inserted into b. Then, k(b)=sk_(f)(v,γ,S(b)) is a sketch of S(b).

Within each level, no more than α of the 2y_(max)−1 buckets are actually stored. In the process, S_(l) denotes the buckets that are stored in level l. The level S₀ is a special level that just consists of singletons. Among the buckets that are not stored, there are two types of buckets, those that were discarded in Process 5 (see the “Check for overflow” comment in Process 5), and those that were never used by the process. The above three types of buckets are termed “stored”, “discarded”, and “empty”, respectively. Note that S(b) is defined for each of these three types of buckets (if b is an empty bucket, then S(b) is defined as the null set φ).

The buckets in S_(l) are organized into a tree, induced by the relation between the dyadic intervals that these buckets correspond to.

The initialization for the process for a general function is described in Process 4, illustrated in FIG. 5. The update and query processing are described in Processes 5 and 6, illustrated in FIGS. 6(A-B) and 7, respectively.

Theorem 3 (Space Complexity): The space complexity of the sketch for correlated estimation is

${O\left( {\frac{{c_{1}^{f}\left( {\log \; y_{\max}} \right)} \cdot \left( {\log \; f_{\max}} \right)}{c_{2}^{f}\left( \frac{\varepsilon}{2} \right)} \cdot {len}} \right)},$

where

${len} = {{{sk}_{f}\left( {\frac{\varepsilon}{2},\frac{\delta}{4\; {y_{\max}\left( {2 + {\log \; f_{\max}}} \right)}},S} \right)}}$

is the number of bits needed to store the sketch.

Proof There are no more than 2+log f_(max) levels and in each level l, S_(l) stores no more than α buckets. Each bucket b contains sk_(f)(v,γ,S(b)). The space complexity is α(2+log f_(max)) times the space complexity of sketch sk_(f). Here it is assumed that the space taken by sk_(f) is larger than the space required to store l(b) and r(b).

Process Correctness

Let S denote the stream of tuples observed up to a given point. Suppose the required correlated aggregate is f(S,c). Let A be the set

{x_(i)|((x_(i),y_(i))εS)

(y_(i)≦c)}.

Thus, f(S,c)=f(A).

For level l,0≦l≦l_(max), B₁ ^(l) B₂ ^(l) are defined as follows. Let B₁ ^(l) denote the set of buckets b in level l such that span(b)⊂[0,c]. Let B₂ ^(l) denote the set of buckets b in level l such that span(b)⊂[0,c], but span(b) has a non-empty intersection with [0,c].

Note that for each level l, B₁ ^(l) and B2^(l) are uniquely determined once the query f(S,c) is fixed. These do not depend on the actions of the process. This is an important property used, which allows the choice of which buckets to use during estimation to be independent of the randomness in the data structures. Further, note that only a subset of B₁ ^(l) and B₂ ^(l) is actually stored in S_(l).

Consider any level l,0≦l≦l_(max). For bucket b, recall that S(b) denotes the set of stream items inserted into the bucket until the time of the query. For bucket bεS_(l), let f(b) denote f(S(b)). Let est_(f)(b) denote the estimate of f(b) obtained using the sketch k(b). If S(b)=φ, then f(b)=0 and est_(f)(b)=0. Thus note that f(b) and est_(f)(b) are defined no matter whether b is a stored, discarded, or an empty bucket. Further, for a set of buckets B in the same level, let S(B)=∪_(bεB)S(b), and let f(B)=f(S(B)). Let est_(f)(B) be the estimate for f(B) obtained through the composition of all sketches in ∪_(bεB)k(b) (by property V, sketches can be composed with each other).

Definition 3: Bucket b is defined to be “good” if (1−v)f(b)≦est_(f)(b)≦(1+v)f(b). Otherwise, b is defined to be “bad”.

Let G denote the following event: each bucket b in each level b in each level 0 . . . l_(max) is good.

${{Lemma}\mspace{14mu} 7\text{:}\mspace{14mu} {\Pr \lbrack G\rbrack}} \geq {1 - \frac{\delta}{2}}$

Proof: For each bucket b, note that est_(f)(b) is a (v,γ)-estimator for f(b). Thus, the probability that b is bad is no more than γ. Noting that there are less than 2y_(max) buckets in each level, and l_(max)+1 levels in total, and applying a union bound, yields:

${{\Pr \left\lbrack \overset{\_}{G} \right\rbrack} \leq {2\; {y_{\max}\left( {l_{\max} + 1} \right)}}} = \frac{\delta}{2}$

Lemma 8: For any level l, S(B₁ ^(l))⊂A⊂S(B₁ ^(l)∪B₂ ^(l)).

Proof: Every bucket bεB₁ ^(l) must satisfy span(b)ε[0,c]. Thus every element inserted into B₁ ^(l) must belong in A. Hence S(B₁ ^(l))⊂A. Each element in A has been inserted into some bucket in level l (it is possible that some of these buckets have been discarded). By the definitions of B₁ ^(l) and B₂ ^(l), an element in A cannot be inserted into any bucket outside of B₁ ^(l)∪B₂ ^(l). Thus A⊂S(B₁ ^(l)∪B₂ ^(l)).

Using Lemma 8 and Condition II on f yields the following for any level l:

f(B₁ ^(l))≦f(A)≦f(B₁ ^(l)∪B₂ ^(l)).  (12)

Lemma 9: Conditioned on event G, process 6 does not output FAIL in step 1.

Proof: Consider l_(max).Y_(l) _(max) >c if event G occurs. Observe that Y_(l) _(max) is initialized to ∞ in Process 4. Its value can only change if the root b of S_(l) _(max) closes. For this to happen, there must be est(k(b))≧2^(l) ^(max) ⁺¹. But 2^(l) ^(max) ⁺¹>2f_(max) which means that est(k(b)) does not provide a (1+ε)-approximation. This contradicts the occurrence of event G. Hence, Y_(l) _(max) >c and so Process 6 does not output FAIL in step 1.

Let l* denote the level used by Process 6 to answer the query f(S,c).

Lemma 10: If l*≧1 and G is true, then

f(B₂ ^(l*))≦c₁ ^(f)(log y_(max))2^(l*+2).

Proof: First, note that there can be no singleton buckets in B₂ ^(l*) by definition of B₂ ^(l) for a level l. Thus, for each bucket bεB₂ ^(l*), est_(f)(b)≦2^(l*+1). Because G is true, for every bucket bεB₂ ^(l*), b is good, so that

${f(b)} \leq {\frac{2^{l^{*} + 1}}{1 - v}.}$

Next, note that there are no more than log y_(max) buckets in B₂ ^(l*), since there can be only one dyadic interval of a given size that intersects [0,c] but is not completely contained within [0,c].

From Property III:

$\; {{f\left( B_{2}^{l^{*}} \right)} = {{f\left( {\bigcup_{b\; \in \; B_{2}^{l^{*}}}{S(b)}} \right)} \leq {{c_{1}^{f}\left( {\log \; y_{\max}} \right)}{\frac{2^{l^{*} + 1}}{1 - v}.}}}}$

Since v≦1/2, the desired result is obtained.

Lemma 11: If l*≧1 and G is true, then:

f(A)≧α2^(l*−4).

Proof: Since the process used level l* for answering the query, it must be the case that there are buckets in S_(l*−1) that had an intersection with [0,c] but were discarded from the data structure. It follows that there are at most log y_(max) buckets bεS_(l*−1) such that span(b)⊂[0,c]. For the remaining buckets bεS_(l*−1), it must be true that span(b)⊂[0,c]. If S_(l*−1) is viewed as a binary tree with α nodes, according to the ordering between the different dyadic intervals, then S_(l*−1) must have (α−1)/2 internal nodes. Suppose I denoted the set of buckets in bεS_(l*−1) such that b is an internal node, and span(b)⊂[0,c]. Thus |I|≧(α−1)/2−log y_(max). Since G is true, for any bucket bεI,

${f(b)} \geq {\frac{2^{^{*} - 1}}{1 + v}.}$

Using property II repeatedly yields:

${f(A)} \geq {f(I)} \geq \frac{{I}2^{^{*} - 1}}{1 + v}$

Using v<1, and for an appropriately large value of α, ((α−1)/2−log y_(max))≧α/4. Combining the above yields the following:

${{f(A)} \geq \frac{a\; 2^{^{*}}}{2 \cdot 4 \cdot 2}} = {2^{^{*} - 4}{a.}}$

Theorem 4: When presented with a query for f(S,c), let est denote the estimate returned by the process. Then, with probability at least 1−δ:

(1−ε)f(S,c)≦est≦(1+ε)f(S,c).

Proof: If l*=0, then all elements (x,y)εS such that y≦c are stored in S₀. In this case, the theorem follows by the definition of event G and Lemma 1. Otherwise, est=est_(f)(B₁ ^(l*)), and f(S,c)=f(A). First, note that in level l*, none of the buckets in B₁ ^(l*) have been discarded. Thus each bucket bεB₁ ^(l*) is either empty or is stored. Thus, it is possible to execute line 7 in Process 6 correctly to construct a sketch of S(B₁ ^(l*)). From property (b) of sketching functions yields a sketch sk(v,γ,S(B₁ ^(l*))).

Let ε₁ denote the event (1−v)f(B₁ ^(l*))≦est _(f)(B₁ ^(l*))≦(1+v)f(B₁ ^(l*)). Thus:

Pr[ε₁]≧1−γ

The following is conditioned on both ε₁ and G occurring. From Equation 1: f(A)≦f(B₁ ^(l*)∪B₂ ^(l*)). From Lemmas 4 and 5:

$\frac{f\left( B_{2}^{^{*}} \right)}{f(A)} \leq \frac{{c_{1}^{f}\left( {\log \; y_{\max}} \right)}2^{^{*} + 2}}{a\; 2^{^{*} - 4}} \leq \frac{{c_{1}^{f}\left( {\log \; y_{\max}} \right)}2^{6}}{a} \leq {c_{2}^{f}\left( \frac{\varepsilon}{2} \right)}$

where the value of α has been substituted.

Since (A-B₁ ^(l*))⊂B₂ ^(l*), the following is true:

$\frac{f\left( {A - B_{1}^{^{*}}} \right)}{f(A)} \leq {{c_{2}^{f}\left( \frac{\varepsilon}{2} \right)}.}$

Using Property IV yields:

${f\left( B_{1}^{^{*}} \right)} = {{f\left( {A - \left( {A - B_{1}^{^{*}}} \right)} \right)} \geq {\left( {1 - \frac{\varepsilon}{2}} \right){f(A)}}}$

Conditioned on ε₁ and G both being true:

est_(f)(B₁ ^(l*))≧(1−ε/2)(1−v)f(A)≧(1−ε)f(A)

This proves that conditioned on G and ε₁, the estimate returned is never too small. For the other direction, note that conditioned on ε₁ being true:

est_(f)(B₁ ^(l*))≦(1+v)f(B₁ ^(l*))≦(1+v)f(A)≦(1+ε)f(A)

where f(B₁ ^(l*))≦f(A) has been used, and v<ε.

To complete the proof of the theorem, note that:

≧1−Pr[ G]−Pr[ ε₁ ]

$\geq {1 - \frac{\delta}{2} - \gamma}$

using Lemma 7

≧1−δ using γ<δ/2.

Frequency Moments F_(k)

The general technique presented herein can yield a data structure for the correlated estimation of the frequency moments F_(k), k≧2 .

Fact 1: (Hölder's Inequality) For vectors a and b of the same dimension, and any integer k≧1,

a, b

≦∥a∥_(k)·∥b∥_(k/(k−1)).

Lemma 12: For sets S_(i), i=1 . . . j, if F_(k) (S _(i))≦γ for each i=1 . . . j, then F_(k)(∪_(i=1) ^(j)S_(i))≦j^(k)γ.

Proof Fact 1, j-dimensional vectors a and b implies that

|

a,b

|^(k)≦∥a∥_(k) ^(k)·∥b∥_(k/(k−1)) ^(k). Setting b=(1,1, . . . , 1), it follows that (a₁+ . . . +a_(j))^(k)≦j^(k−1)(a₁ ^(k)+ . . . +a_(j) ^(k)). Hence, it follows that

${F_{k}\left( {\bigcup_{i = 1}^{j}{\bigcup S_{i}}} \right)} \leq {j^{k - 1}{\sum\limits_{i = 1}^{j}\; {F_{k}\left( S_{i} \right)}}} \leq {j^{k}{\beta.}}$

Lemma 13: If F_(k)(B)≦(ε/(3k))^(k)F_(k)(A), then F_(k)(A∪B)≦(1+εε)F_(k)(A).

Proof Suppose A and B have support on {1, 2, . . . , n}. Let a and b be the characteristic vectors of sets A and B, respectively. Using Fact 1 yields:

$\begin{matrix} {{F_{k}\left( {A\bigcup B} \right)} = {\sum\limits_{i = 1}^{n}\; \left( {a_{i} + b_{i}} \right)^{k}}} \\ {= {{F_{k}(A)} + {F_{k}(B)} + {\sum\limits_{i = 1}^{n}\; {\sum\limits_{j = 1}^{k - 1}\; {\begin{pmatrix} k \\ j \end{pmatrix}a_{i}^{j}b_{i}^{k - j}}}}}} \\ {= {{{F_{k}(A)} + {F_{k}(B)} + {\sum\limits_{j = 1}^{k - 1}\; {\begin{pmatrix} k \\ j \end{pmatrix}{\sum\limits_{i = 1}^{n}\; {a_{i}^{j}b_{i}^{k - j}}}}}} \leq}} \\ {{{F_{k}(A)} + {F_{k}(B)} + {\sum\limits_{j = 1}^{j - 1}\; {\begin{pmatrix} k \\ j \end{pmatrix}\left( {\sum\limits_{i = 1}^{n}\; \left( a_{i}^{j} \right)^{k/j}} \right)^{\frac{j}{k}}\left( {\sum\limits_{i = 1}^{n}\; \left( b_{i}^{k - j} \right)^{k/{({k - j})}}} \right)^{\frac{k - j}{k}}}}}} \\ {= {{F_{k}(A)} + {F_{k}(B)} + {\sum\limits_{j = 1}^{k - 1}\; {\begin{pmatrix} k \\ j \end{pmatrix}{F_{k}(A)}^{\frac{j}{k}{F_{k}{(B)}}^{\frac{k - j}{k}}}}}}} \end{matrix}$

${\leq {{F_{k}(A)} + {F_{k}(B)} + {\sum\limits_{j = 1}^{k - 1}\; {\begin{pmatrix} k \\ j \end{pmatrix}{F_{k}(A)}\left( \frac{\varepsilon}{3\; k} \right)^{k - j}}}} \leq {{\left( {1 + {\varepsilon/3}} \right){F_{k}(A)}} + {{F_{k}(A)}{\sum\limits_{j = 1}^{k - 1}\; {\begin{pmatrix} k \\ j \end{pmatrix}\left( {\varepsilon/\left( {3\; k} \right)} \right)^{k - j}}}}} \leq {{\left( {1 + {\varepsilon/3}} \right){F_{k}(A)}} + {{F_{k}(A)}\left( {1 + {\varepsilon/\left( {3\; k} \right)}} \right)^{k}} - {F_{k}(A)}} \leq {{\left( {1 + {\varepsilon/3}} \right){F_{k}(A)}} + {{F_{k}(A)}\left( {1 + {2{\varepsilon/3}}} \right)} - {F_{k}(A)}} \leq {\left( {1 + \varepsilon} \right){F_{k}(A)}}},$

where (1+x)^(y)≦e^(xy) was used for all x and y, and e^(z)≦1+2z for z≦1/2. This completes the proof.

Lemma 14: If C⊂D, and F_(k)(C)≦(ε/(9k))^(k)F_(k)(D), then F_(k)(D−C)≧F_(k)(D).

Proof It is know that for any two sets A and B, F_(k)(A∪B)≦2^(k) (F_(k)(A)+F_(k)(B)).

F_(k)(D)=F_(k)((D−C)∪(C)

-   -   ≦2^(k)(F_(k)(D−C)+F_(k)(C)), which leads to:         F_(k)(D−C)≧F_(k)(D)/2^(k)−F_(k)(C)≧((9k/ε)^(k)(1/2^(k))^(k)−1)F_(k)(C)         ≧(3k/ε)^(k) F_(k)(C). Thus, F_(k)(C)≦(ε/3k)^(k) F_(k)(D−C).         Applying Lemma 7 yields

F_(k)(C∪(D−C))≦(1+ε)F_(k)(D−C). Thus, F_(k)(D−C)≧F_(k)(D)/(1+ε)≧(1−ε)F_(k)(D).

Theorem 5: For parameters 0<ε<1 and 0<δ<1, there is a sketch for an (ε,δ)-estimation of the correlated aggregate F_(k) on a stream of tuples of total length n, using space n^(1−2/k)poly(ε⁻¹log(n/ε))

Proof From Lemma 12, c₁ ^(F) ^(k) (j)=j^(k). From Lemma 8, c₂ ^(F) ^(k) (ε)=(ε/(9k))^(k). Using these in Theorem 3 yields c₁ ^(F) ^(k) (log y_(max))=(log y_(max))^(k), and c₂ ^(f)(ε/2)=(ε/(18k))^(k). Using the sketches for F₂ and F_(k),k>2 from prior work, the above result is obtained.

The space can be improved to r^(1−2/k)poly(ε⁻¹ (log(n/δ)), where r is the number of distinct x_(i)-values in the stream. In the worst-case, though, r could be Θ(n). The dependence is made more explicit for the case of F₂.

Lemma 15: For parameters 0<ε<1 and 0<δ<1, there is a sketch for (ε,δ) error correlated estimation of F₂ on a stream of tuples of total length n, using space O(ε⁻⁴(log(1/δ)+log y_(max)) (log²y_(max))(log²f_(max))) bits. The amortized update time is O(log f_(max)·log y_(max)).

Proof The space taken by a sketch for an (ε,δ) estimator for F₂ on a stream is O((log f_(max)) (1/ε²) log(1/δ)) bits. From the proof of Theorem 5, c₁ ^(F) ² (j²≈j², and c₂ ^(F) ² (ε)=(ε/18)².

Using the above in Theorem 3, the space is O(ε⁻⁴log²f_(max)log² y_(max)(log 1/δ+log y_(max))) bits.

To get O(log f_(max)(log 1/δ+log y_(max))) amortized processing time, observe that there are O(log f_(max)) data structures S_(i), each containing O(ε⁻²log² y_(max)) buckets, each holding a sketch of O(ε⁻²log f_(max)(log 1/δ+log y_(max))) bits. A batch of O(ε⁻² log²y_(max)) updates is processed at once. The batch is first sorted in order of non-decreasing y-coordinate. This can be done in O(ε⁻² log² y_(max) (log 1/ε+log log y_(max))) time. Then, the following processing is done for each S_(i). A pre-order traversal of the buckets in S_(i) is conducted and the appropriate buckets are updated. Importantly, each bucket maintains an update-efficient AMS sketch (shown in prior work), which can be updated in time O(log 1/δ+log y_(max)). Since the updates are sorted in increasing y-value and the list is represented as a pre-order traversal, the total time to update S_(i) is O(ε⁻² log² y_(max) (log 1/δ+log y_(max))). The time to update all the S_(i) is O(log f_(max)) times this. So the amortized time is O(log f_(max) (log 1/δ+log y_(max))).

Other Useful Statistics

While many aggregation functions satisfy the properties described above, some important ones do not. However, in many important remaining cases, these aggregation functions are related to aggregation functions that do satisfy these properties, and the mere fact that they are related in the appropriate way enables efficient estimation of the corresponding correlated aggregate.

The correlated F₂-heavy hitters can be computed, as well as the rarity (defined below) by relating these quantities to F₂ and F₀, respectively.

For example, in the correlated F₂-heavy hitters problem with y-bound of c and parameters ε,φ, 0<ε<φ<1, letting F₂ (c) denote the correlated F₂-aggregate with y-bound of c, to return all x for which |{(x_(i),y_(i))|x_(i)=x

y_(i)≦c}|²≧φF₂(c), and no x for which |{(x_(i), y_(i))|x_(i)=x

y_(i)≦c}|²≦(φ−ε)F₂(c). To do this, the same data structures S_(i) may be used as used for estimating the correlated aggregate F. However, for each S_(i) and each bucket in S_(i) maintain a process is maintained for estimating the squared frequency of each item inserted into the bucket up to an additive (ε/10)•2^(i). To estimate the correlated F₂-heavy hitters, for each item an additive (ε/10)•F₂ (c) approximation to its squared frequency is obtained by summing up the estimates provided for it over the different buckets contained in [0,c] in the data structure S_(i) used for estimating F₂(c). Since only an ε/10 fraction of F₂(c) does not occur in such buckets, the list of all heavy hitters is obtained this way, and no spurious ones.

In the rarity problem, the problem is to estimate the fraction of distinct items that occur exactly once in the multi-set. The ideas for estimating rarity are similar, where the same data structures S_(i) are maintained for estimating the correlated aggregate F₀, but in each bucket maintain data structures for estimating the rarity of items inserted into that bucket.

Number of Distinct Elements

The number of distinct elements in a stream, also known as the zeroth frequency moment F₀, is a fundamental and widely studied statistic of the stream. Here, the correlated estimation of the number of distinct elements in a stream is described. Consider a stream of (x, y) tuples, where xε {1, . . . , m} and yε {1,y_(max)}. The process employed by an embodiment is an adaptation of the process for estimating the number of distinct elements within a sliding window of a data stream, due to prior work. Similar to prior work, the process for correlated estimation of F₀ is based on “distinct sampling”, or sampling based on the hash values of the item identifiers. Multiple samples, S₀, S₁, . . . , S_(k), are maintained, where k=log m. Suppose that for simplicity, there is a hash function h that maps elements in {1, . . . , m} to the real interval [0,1]. This assumption of needing such a powerful hash function can be removed, as shown in prior work.

The process of prior work proceeds as follows. Stream items are placed in these samples S_(i) in the following manner. (A) Each item (x, y) is placed in S₀. (B) For i>0, an item (x, y) is placed in level i if

${h(x)}<={\frac{1}{2^{i}}.}$

Note that if an item x is placed in level i, it must have been placed in level i−1 also.

Since each level has a limited space budget, say α, a way to discard elements from each level is needed. The process according to an embodiment differs from prior work in the following aspect of how to discard elements from each level. For correlated aggregates, maintained in S_(i) are only those items (x, y) that (1) have an x value that is sampled into S_(i), and (2) have the smallest values of y among all the elements sampled into S_(i). In other words, it is a priority queue using the y values as the weights, whereas in prior work, each level was a simple FIFO (first-in-first-out) queue.

It can be shown that the above scheme of retaining those elements with a smaller value of y, when combined with the sampling scheme in prior work, yields an (ε,δ) estimator for the correlated distinct counts.

Theorem 6: Given parameters 0<ε<1 and 0<δ<1, there is a streaming process that can maintain a summary of a stream of tuples (x,y), where xε {1, . . . , m} and yε {1, y_(max)} such that: (1) The space of the summary is

${O\left( {{\log \; m} + {\log \; y_{\max}}} \right)}\frac{\log \; m}{\varepsilon^{2}}\log \; {1/\delta}$

bits; (2) The summary can be updated online as stream elements arrive; and (3) Given a query y₀, the summary can return an (ε,δ)—estimator of the number of distinct x values among all tuples (x, y) with y values satisfying y≦y₀.

Example Implementations

Correlated F2, Second Frequency Moment

An example process for correlated F₂ estimation was implemented in Python. The following four data sets were used for example evaluations. (1) Packet traces of Ethernet traffic on a LAN and a WAN. The relevant data here is the number of bytes in the packet, and the timestamp on the packet (in milliseconds). This data set is referred to as the “Ethernet” data set. This data set has 2 million packets, and was constructed by taking two packet traces and combining them by interleaving. (2) The Uniform data set, which is a sequence of tuples (x, y) where x is generated uniformly at random from the set {0, . . . , 10000} and y is generated uniformly at random from the set {0, . . . , 2¹³−1}. This maximum size of this data set is 10⁷. (3) The Zipfian data set, with α=1. Here the x values are generated according to the Zipfian distribution with α=1, from the domain {0, . . . , 10000}, and the y values are generated uniformly at random from the set {0, . . . , 2¹³⁻¹}. The maximum size of this dataset is 10⁷. (4) The Zipfian data set as described above, with α set to 2.

For the sketch for F₂, the implementation used a variant of a process developed in prior work. An observation was that for all cases tested, the relative error of the process was almost always within the desired approximation error ε, for δ<0.2.

Space Usage as a function of ε

The space consumption of the process was studied. The space depends on a number of factors, including the values of ε, and δ. The space also depends on f_(max), since f_(max) determines the maximum size of the data structure at each level. But the most obvious dependence is on E, and this dependence is explored further.

In FIG. 8, the space taken for the summary for F₂ is plotted as a function of ε. This is illustrated for all the data sets described above, with each dataset of size 2 million tuples. It is noted that the space taken by the sketch increases rapidly with decreasing ε, and the rate of the growth is similar for all four datasets. For smaller values of ε(ε≦0.1), the summary data structure took even more space than the input stream itself. This is not surprising since the space increases as the fourth power of

$\frac{1}{\varepsilon}.$

It can be observed that the space taken for the Ethernet dataset is greater than the space for the Uniform and Zipfian datasets. The reason for this is that the range of the y values in the Ethernet dataset was much larger (0 to 3200000) than in the Uniform and the Zipfian datasets, where the y values ranged from 0 to 8191. The larger range of y values meant that the number of nodes at each level is larger. In addition, a larger value of y_(max) also leads to a larger value of f_(max), for the Ethernet dataset than for the other datasets, and hence also to a larger number of levels of data structures. However, note that the rate of growth of the space with respect to ε remains similar for all data sets. For smaller values of ε≦(ε0.15), the summary data structure often took even more space than the input stream itself. This is not surprising since the space increases as the fourth power of

$\frac{1}{\varepsilon}.$

As described herein, the space savings of the sketch improves as the stream size increases.

Space Usage as a function of the stream size

Example results are illustrated in FIG. 9 (for ε=0.15), FIG. 10 (for ε=0.2), and FIG. 11 (for ε=0.25). In all cases, as predicted by theory, the space taken by the sketch does not change much, and increases only slightly as the stream size increases. This shows that the space savings of the process is much larger with streams that are larger in size.

The time required for processing the stream of 2 million elements was nearly the same (about 5 minutes) for the Uniform, Zipfian, as well as Ethernet datasets. The processing rate can be improved by using the C/C++ language, and by using a more optimized implementation.

These example results illustrate that a reasonable processing rate can be achieved for the data structure for F₂, and that correlated query processing is indeed practical, and provides significant space savings, especially for large data streams (of the order of 10 million tuples or larger).

Correlated F₀, Number of Distinct Elements

An example of the process for F₀ in Python and four data sets, as described in the case of F₂, was also implemented. The only difference was that in the Uniform and Zipfian datasets, the range of x values was much larger (0 . . . 1000000) than in the case of F₂, where the range of x values was 0 . . . 10000. The reason for this change is that there are much simpler approaches for correlated F₀ estimation when the domain size is small: simply maintain the list of all distinct elements seen so far along the x dimension, along with the smallest value associated with it in the y dimension. Note that such a simplification is not (easily) possible for the case of F₂.

The variation of the sketch size with E is shown in FIG. 12. Note that while the sketch size decreases with increasing ε, the rate of decrease was not as fast as in the case of F₂. Further, note that the sketch size for comparable values of ε was much smaller than the sketch for correlated F₂. Another point is that the space taken by the sketch for the Ethernet dataset was significantly smaller than the sketch for the other datasets. This is due to the fact that the range of x values in the Ethernet dataset was much smaller (0 . . . 2000) than for the other datasets (0 . . . 1000000). The number of levels in the data structure is proportional to the logarithm of the number of possible values along the x dimension. Note that as explained above, the process of choice for correlated F₀ estimation for the Ethernet-type datasets (where the x range is small) will be different, as explained herein. Thus, the process is particularly useful for datasets where the x range is much larger.

The size of the sketch as a function of the stream size is shown in FIG. 13, for ε=1. It can be seen that the sketch size hardly changed with the stream size. Note however, that for much smaller streams, the sketch will be smaller, since some of the data structures at different levels have not reached their maximum size yet. The results for other values of ε are similar, and are not shown here.

Accordingly, embodiments provide for computing correlated aggregates over a data stream. Referring to FIG. 14, it will be readily understood that embodiments may be implemented using any of a wide variety of devices or combinations of devices. An example device that may be used in implementing embodiments includes a computing device in the form of a computer 1410. In this regard, the computer 1410 may execute program instructions configured to compute correlated aggregates over a data stream, and perform other functionality of the embodiments, as described herein.

Components of computer 1410 may include, but are not limited to, at least one processing unit 1420, a system memory 1430, and a system bus 1422 that couples various system components including the system memory 1430 to the processing unit(s) 1420. The computer 1410 may include or have access to a variety of computer readable media. The system memory 1430 may include computer readable storage media in the form of volatile and/or nonvolatile memory such as read only memory (ROM) and/or random access memory (RAM). By way of example, and not limitation, system memory 1430 may also include an operating system, application programs, other program modules, and program data.

A user can interface with (for example, enter commands and information) the computer 1410 through input devices 1440. A monitor or other type of device can also be connected to the system bus 1422 via an interface, such as an output interface 1450. In addition to a monitor, computers may also include other peripheral output devices. The computer 1410 may operate in a networked or distributed environment using logical connections (network interface 1460) to other remote computers or databases (remote device(s) 1470). The logical connections may include a network, such local area network (LAN) or a wide area network (WAN), but may also include other networks/buses.

As will be appreciated by one skilled in the art, aspects may be embodied as a system, method or computer program product. Accordingly, aspects of the present invention may take the form of an entirely hardware embodiment, an entirely software embodiment (including firmware, resident software, micro-code, et cetera) or an embodiment combining software and hardware aspects that may all generally be referred to herein as a “circuit,” “module” or “system.” Furthermore, aspects of the present invention may take the form of a computer program product embodied in at least one computer readable medium(s) having computer readable program code embodied thereon.

Any combination of at least one computer readable medium(s) may be utilized. A computer readable storage medium may be, for example, but not limited to, an electronic, magnetic, optical, electromagnetic, infrared, or semiconductor system, apparatus, or device, or any suitable combination of the foregoing. More specific examples (a non-exhaustive list) of the computer readable storage medium would include the following: an electrical connection having at least one wire, a portable computer diskette, a hard disk, a random access memory (RAM), a read-only memory (ROM), an erasable programmable read-only memory (EPROM or Flash memory), an optical fiber, a portable compact disc read-only memory (CD-ROM), an optical storage device, a magnetic storage device, or any suitable combination of the foregoing. In the context of this document, a computer readable storage medium may be any tangible or non-signal medium that can contain or store a program for use by or in connection with an instruction execution system, apparatus, or device.

Program code embodied on a computer readable medium may be transmitted using any appropriate medium, including but not limited to wireless, wireline, optical fiber cable, RF, etc., or any suitable combination of the foregoing.

Computer program code for carrying out operations for embodiments may be written in any combination of at least one programming language, including an object oriented programming language such as Java, Smalltalk, C++ or the like and conventional procedural programming languages, such as the “C” programming language or similar programming languages. The program code may execute entirely on the user's computer, partly on the user's computer, as a stand-alone software package, partly on the user's computer and partly on a remote computer or entirely on the remote computer or server. In the latter scenario, the remote computer may be connected to the user's computer through any type of network, including a local area network (LAN) or a wide area network (WAN), or the connection may be made to an external computer (for example, through the Internet using an Internet Service Provider).

Embodiments are described with reference to figures of methods, apparatus (systems) and computer program products according to embodiments. It will be understood that portions of the figures can be implemented by computer program instructions. These computer program instructions may be provided to a processor of a general purpose computer, special purpose computer, or other programmable data processing apparatus to produce a machine, such that the instructions, which execute via the processor of the computer or other programmable data processing apparatus, create means for implementing the functions/acts specified.

These computer program instructions may also be stored in a computer readable medium that can direct a computer, other programmable data processing apparatus, or other devices to function in a particular manner, such that the instructions stored in the computer readable medium produce an article of manufacture including instructions which implement the function/act specified. The computer program instructions may also be loaded onto a computer, other programmable data processing apparatus, or other devices to cause a series of operational steps to be performed on the computer, other programmable apparatus or other devices to produce a computer implemented process such that the instructions which execute on the computer or other programmable apparatus provide processes for implementing the functions/acts specified.

This disclosure has been presented for purposes of illustration and description but is not intended to be exhaustive or limiting. Many modifications and variations will be apparent to those of ordinary skill in the art. The example embodiments were chosen and described in order to explain principles and practical application, and to enable others of ordinary skill in the art to understand the disclosure for various embodiments with various modifications as are suited to the particular use contemplated.

Although illustrated example embodiments have been described herein with reference to the accompanying drawings, it is to be understood that embodiments are not limited to those precise example embodiments, and that various other changes and modifications may be affected therein by one skilled in the art without departing from the scope or spirit of the disclosure. 

1.-11. (canceled)
 12. A computer program product for summarizing attributes of data elements of a data set for computing correlated aggregates, comprising: a computer readable storage medium having computer readable program code embodied therewith, the computer readable program code comprising: computer readable program code configured to receive a stream of data elements at a device, each data element having at least one numerical attribute; computer readable program code configured to maintain in memory a plurality of tree structures comprising a plurality of separate nodes for summarizing numerical attributes of the data elements with respect to a predicate value of a correlated aggregation query, wherein to maintain further comprises: computer readable program code configured to create the plurality of tree structures in which each node implements one of: a probabilistic counter and a sketch, wherein said probabilistic counter and said sketch each act to estimate aggregated data element numerical attributes to form a summary of said numerical attributes; and computer readable program code configured to, responsive to a correlated aggregation query specifying said predicate value, use said plurality of tree structures as a summary of said data element numerical attributes to compute a response to said correlated aggregate query.
 13. The computer program product of claim 12, wherein said summary of said data element numerical attributes has a guaranteed relative error.
 14. The computer program product of claim 13, wherein a memory size requirement for maintaining the summary of said data element numerical attributes is a function of the relative error.
 15. The computer program product of claim 12, wherein said summary provides an estimate that is provably close to a correct answer to said correlated aggregation query.
 16. The computer program product of claim 12, wherein each node implements a probabilistic counter, and further wherein said correlated aggregation query is a count query with respect to said predicate value.
 17. The computer program product of claim 16, wherein nodes of said plurality of tree structures are organized into levels of probabilistic counters.
 18. The computer program product of claim 17, wherein each level of nodes provides a more refined interval for counting said numerical attributes of said data elements.
 19. The computer program product of claim 18, wherein each node is capped to a predetermined size, and further wherein, responsive to the predetermined size being reached, two child nodes are formed for a parent node.
 20. The computer program product of claim 12, wherein each node implements a sketch function suitable for a statistical inquiry specified in said correlated aggregation query.
 21. The computer program product of claim 20, wherein said statistical inquiry is computation of a frequency moment F_(k) of said data stream.
 22. The computer program product of claim 12, wherein said stream of data elements comprises a stream of IP packets, wherein said data elements comprise IP packets, and further wherein said numerical attributes comprise sizes of said IP packets.
 23. A system for summarizing attributes of data elements of a data set for computing correlated aggregates, comprising: at least one processor; and a memory device operatively connected to the at least one processor; wherein, responsive to execution of program instructions accessible to the at least one processor, the at least one processor is configured to: receive a stream of data elements at a device, each data element having at least one numerical attribute; maintain in memory a plurality of tree structures comprising a plurality of separate nodes for summarizing numerical attributes of the data elements with respect to a predicate value of a correlated aggregation query, wherein to maintain further comprises: create the plurality of tree structures in which each node implements one of: a probabilistic counter and a sketch, wherein said probabilistic counter and said sketch each act to estimate aggregated data element numerical attributes to form a summary of said numerical attributes; and responsive to a correlated aggregation query specifying said predicate value, use said plurality of tree structures as a summary of said data element numerical attributes to compute a response to said correlated aggregate query.
 24. The system of claim 23, wherein said stream of data elements comprises a stream of IP packets, wherein said data elements comprise IP packets, and further wherein said numerical attributes comprise sizes of said IP packets. 